#ifndef _EK_TRAPFRAME_H_
#define _EK_TRAPFRAME_H_

void cprint_regs(struct pushregs_t *regs);
void cprint_trapframe(struct trapframe_t *tf);

#endif /* _EK_TRAPFRAME_H_ */
